MIME-Version: 1.0
Server: CERN/3.0
Date: Tuesday, 26-Nov-96 00:53:32 GMT
Content-Type: text/html
Content-Length: 14079
Last-Modified: Tuesday, 12-Nov-96 12:10:47 GMT

<!DOCTYPE HTML PUBLIC "-//W3O//DTD W3 HTML 3.0//EN">

<HTML>

<HEAD>
<TITLE>Disjunctive Logic Programming</TITLE>
<!-- Changed by: C. Aravindan, 12-Nov-1996 -->
<!-- OWNER_NAME="Chandrabose ARAVINDAN" -->
<!-- OWNER_INFO="FB Informatik, Uni-Koblenz, Germany." -->
<link rev=made href="http://www.uni-koblenz.de/~arvind/">
</HEAD>

<BODY>

<BANNER>
<font size=-1>
Last modified by <!WA0><a href="http://www.uni-koblenz.de/~arvind/">C. Aravindan</a>
on November 12, 1996.
</font>
<HR>
<STRONG><ADDRESS>
<!WA1><A HREF="http://www.uni-koblenz.de/ag-ki/welcome-e.html">
Artificial Intelligence Research Group</A>
at the <!WA2><A HREF="http://www.uni-koblenz.de/universitaet/fb4/index.en.html">
Computer Science Department</A>
of the <!WA3><A HREF="http://www.uni-koblenz.de/homepage.en.html">
University of Koblenz-Landau,</A>
<!WA4><a href="http://www.uni-koblenz.de/stadt/">Koblenz,</a>
<!WA5><a href="http://www.chemie.fu-berlin.de/adressen/brd.html">Germany.</a>
</ADDRESS></STRONG>
<HR>
</BANNER>

<H1 align=center><strong>DisLoP:</strong><br>
              <em>a research project on</em><br>
              Disjunctive Logic Programming
</H1>

<HR>

<center>
<!WA6><a href="#fund">Funding</a> *
<!WA7><a href="#persons">Persons</a> *
<!WA8><a href="#activities">Activities</a> *
<!WA9><a href="#pubs">Publications</a> *
<!WA10><a href="#rpro">Related Projects</a> *
<!WA11><a href="#rlinks">Related Links</a>
</center>

<HR>


<br><br><br>

<P align=justify><font size=+3>T</font size>he long term goal of this
project is to develop a logic programming
system in which disjunction in the head of a clause and non-monotonic
negation in the body of the clause are allowed.  This goal is to be
achieved by appropriately combining classical deduction and 
non-monotonic reasoning systems.  More specifically, the project aims
to develop a disjunctive logic programming system based on
<!WA12><a href="http://www.uni-koblenz.de/ag-ki/Systems/PROTEIN/">PROTEIN</a>
theorem prover developed earlier by our
<!WA13><A HREF="http://www.uni-koblenz.de/ag-ki/welcome-e.html">
	Artificial Intelligence Research Group</A>.

</P><br>

<a NAME="fund">

<h2>Funding</h2>

<P align=justify><font size=+3>T</font size>his project is funded by
<!WA14><a href="http://www.gfz-potsdam.de/d3m/sponsor/deutschl/dfg/">Deutsche Forschungsgemeinschaft (DFG)</a>,
a federal government agency that funds various basic research projects in
<!WA15><a href="http://www.chemie.fu-berlin.de/adressen/brd.html">Germany</a>.
</p><br>


<a NAME="persons">

<H2>Persons Involved</H2>

<P align=justify><font size=+3>T</font size>he project is headed by 
<!WA16><A HREF="http://www.uni-koblenz.de/~uli/">Prof.Dr. Ulrich Furbach</A>
and
<!WA17><A href="http://www.uni-koblenz.de/~dix/">Dr. J&uuml;rgen Dix</A>.
Two research scientists
<!WA18><A HREF="http://www.uni-koblenz.de/~ini/">Dr. Ilkka Niemel&auml;</A>
and
<!WA19><A href="http://www.uni-koblenz.de/~arvind/">Dr. Chandrabose Aravindan</A>
are working exculsively on this project.
In addition, <!WA20><A HREF="http://www.uni-koblenz.de/~katrin/">Katrin Erk</A> and
<!WA21><a HREF="http://www.uni-koblenz.de/~doro/">Dorothea Sch&auml;fer,</a>
students working for their Master's degrees, are also involved in this project.
<!WA22><a href="http://www.uni-koblenz.de/~herrman/">Marion Herrmann</a>
is the project secretary.

</p><br>



<a NAME="activities">

<H2>Activities</H2>

<ul>
<!--
<li> <!WA23><a href="http://www.uni-koblenz.de/~ini/">Ilkka Niemel&auml;</a>
     was in the programme committe of the
  <!WA24><a href="http://www.medg.lcs.mit.edu/doyle/nm/">6<sup>th</sup> International
     Workshop on Non-Monotonic Reasoning</a>, held in Timberline,
     Oregon, U.S.A., on June 10-12, 1996.
-->
<li> <!WA25><a href="http://www.uni-koblenz.de/~dix/">J&uuml;rgen Dix</a>
     organized a
     <!WA26><a href="http://www.dag.uni-sb.de/dagstuhl_e.html">Dagstuhl</a>
   seminar on <!WA27><A href="http://www.uni-koblenz.de/ag-ki/dag9627/">Disjunctive
   logic programming and databases: Non-monotonic aspects</A>.

<li> The group participated in a workshop titled
     <!WA28><a href="http://www.uni-koblenz.de/~ini/tpnmr96/homepage.html">
     "Integrating Nonmonotonicity into Automated Reasoning Systems"</a>
     during <!WA29><a href="http://wwwis.cs.utwente.nl:8080/mars/ECAI96.html">
     ECAI '96</a>.  Contact
     <!WA30><a href="http://www.uni-koblenz.de/~ini/">Ilkka Niemel&auml;</a>
     for more details.

<li> The group presented a
     <!WA31><a href="http://www.uni-koblenz.de/ag-ki/DLP/papers/poster-abs.ps.gz">poster</a>
     at the
     <!WA32><a href="http://www.first.gmd.de/~geske/poster96.html">poster session</a>
     of
     <!WA33><a href="http://www.informatik.uni-bonn.de/~jicslp96/">JICSLP '96</a>

<li> The group presented a
     <!WA34><a href="http://www.uni-koblenz.de/local/fb4/publications/GelbeReihe/RR-16-96.ps.gz">system description</a> at
     <!WA35><a href="http://pikas.inf.tu-dresden.de/ki96/ki96_engl.html">KI '96</a>

<li> The group is organizing
     <!WA36><a href="http://www.uni-koblenz.de/~lpnmr97/">LPNMR '97</a>.
     Contact
     <!WA37><a href="http://www.uni-koblenz.de/~dix/">J&uuml;rgen Dix</a> or
     <!WA38><a href="http://www.uni-koblenz.de/~arvind/">Chandrabose Aravindan</a>
     for more details.

<li> The group will be organizing JELIA '98.  Contact
     <!WA39><a href="http://www.uni-koblenz.de/~dix/">J&uuml;rgen Dix</a> or
     <!WA40><a href="http://www.uni-koblenz.de/~uli/">Ulrich Furbach</a>
     for more details.
</ul>

<br>


<a NAME="pubs">

<h2>Recent Publications</h2>


<P align=justify><font size=+3>S</font size>ome of the recent publications
of the members of this project are listed below.  The
<!WA41><A href="http://www.uni-koblenz.de/local/fb4/publications/GelbeReihe/">complete list of local technical reports</a>
is maintained by
<!WA42><A href="http://www.uni-koblenz.de/~peter">Peter Baumgartner.</a>

<ul>
<li> <STRONG>Frieder Stolzenburg</STRONG>,
   <em>A Flexible System for Constraint Disjunctive Logic Programming</em>,
   Research Report 19-96.
(<!WA43><A HREF="http://www.uni-koblenz.de/local/fb4/publications/GelbeReihe/Abstracts/RR-19-96.html">Abstract</A>,
<!WA44><A HREF="http://www.uni-koblenz.de/local/fb4/publications/GelbeReihe/RR-19-96.ps.gz">Report</A>
)

<li> <strong>Chandrabose Aravindan</strong>,
   <em>DisLoP: A disjunctive logic programming system based on
       PROTEIN theorem prover</em>,
   Research Report 16-96.
(<!WA45><A HREF="http://www.uni-koblenz.de/local/fb4/publications/GelbeReihe/Abstracts/RR-16-96.html">Abstract</A>,
<!WA46><A HREF="http://www.uni-koblenz.de/local/fb4/publications/GelbeReihe/RR-16-96.ps.gz">Report</A>)

<li> <strong>J&uuml;rgen Dix, Gerhard Brewka</strong>,
   <em>Knowledge representation with logic programs</em>,
   Research Report 15-96.
(<!WA47><A HREF="http://www.uni-koblenz.de/local/fb4/publications/GelbeReihe/Abstracts/RR-15-96.html">Abstract</A>,
<!WA48><A HREF="http://www.uni-koblenz.de/local/fb4/publications/GelbeReihe/RR-15-96.ps.gz">Report</A>)

<li> <strong>Peter Baumgartner, Ulrich Furbach</strong>,
   <em>Hyper Tableuax and Disjunctive Logic Programming</em>,
   Research Report 13-96.
(<!WA49><A HREF="http://www.uni-koblenz.de/local/fb4/publications/GelbeReihe/Abstracts/RR-13-96.html">Abstract</A>,
<!WA50><A HREF="http://www.uni-koblenz.de/local/fb4/publications/GelbeReihe/RR-13-96.ps.gz">Report</A>)

<li> <strong>Chandrabose Aravindan</strong>,
   <em>An abductive framework for negation in disjunctive logic programming</em>,
   Research Report 9-96.
(<!WA51><A HREF="http://www.uni-koblenz.de/local/fb4/publications/GelbeReihe/Abstracts/RR-9-96.html">Abstract</A>,
<!WA52><A HREF="http://www.uni-koblenz.de/local/fb4/publications/GelbeReihe/RR-9-96.ps.gz">Report</A>)

<li> <strong>Ilkka Niemel&auml;, Patrik Simons</strong>,
   <em>Efficient Implementation of the Well-founded and Stable
       Model Semantics</em>,
   Research Report 7-96.
(<!WA53><A HREF="http://www.uni-koblenz.de/local/fb4/publications/GelbeReihe/Abstracts/RR-7-96.html">Abstract</A>,
<!WA54><A HREF="http://www.uni-koblenz.de/local/fb4/publications/GelbeReihe/RR-7-96.ps.gz">Report</A>)


<li> <strong>Ilkka Niemel&auml;</strong>,
    <em>Implementing Circumscription Using a Tableau Method</em>,
    Research Report 6-96.
(<!WA55><A HREF="http://www.uni-koblenz.de/local/fb4/publications/GelbeReihe/Abstracts/RR-6-96.html">Abstract</A>,
<!WA56><A HREF="http://www.uni-koblenz.de/local/fb4/publications/GelbeReihe/RR-6-96.ps.gz">Report</A>)



<li> <strong>Ilkka Niemel&auml;</strong>,
     <em>A tableau calculus for minimal model reasoning</em>,
     Research Report 5-96.
(<!WA57><A HREF="http://www.uni-koblenz.de/local/fb4/publications/GelbeReihe/Abstracts/RR-5-96.html">Abstract</A>,
<!WA58><A HREF="http://www.uni-koblenz.de/local/fb4/publications/GelbeReihe/RR-5-96.ps.gz">Report</A>)


<li> <strong>Stefan Brass, J&uuml;rgen Dix,
                      Teodor C. Przymusinski</strong>,
  <em>Characterizations and Implementation of Static Semantics of
      Disjunctive Programs</em>,
  Research Report 4-96.
(<!WA59><A HREF="http://www.uni-koblenz.de/local/fb4/publications/GelbeReihe/Abstracts/RR-4-96.html">Abstract</A>,
<!WA60><A HREF="http://www.uni-koblenz.de/local/fb4/publications/GelbeReihe/RR-4-96.ps.gz">Report</A>)



<li> <strong>Stefan Brass, J&uuml;rgen Dix, Ilkka Niemel&auml;,
                      Teodor C. Przymusinski</strong>,
  <em>A Comparison of Static Semantics and D-WFS</em>,
  Research Report 2-96.
(<!WA61><A HREF="http://www.uni-koblenz.de/local/fb4/publications/GelbeReihe/Abstracts/RR-2-96.html">Abstract</A>,
<!WA62><A HREF="http://www.uni-koblenz.de/local/fb4/publications/GelbeReihe/RR-2-96.ps.gz">Report</A>)


<li> <strong>J. Dix, D. Gottlob, V. Marek</strong>,
     <em>Reducing disjunctive to non-disjunctive semantics by
         shift operations</em>,
     Research report 18-95.
(<!WA63><a href="http://www.uni-koblenz.de/universitaet/fb4/publications/GelbeReihe/Abstracts/RR-18-95.html">Abstract</A>,
<!WA64><A HREF="http://www.uni-koblenz.de/universitaet/fb4/publications/GelbeReihe/RR-18-95.ps.gz">Report</A>)


<li> <strong>P. Baumgartner, J. Dix, U. Furbach,
                        D. Sch&auml;fer, F. Stolzenburg</strong>,
     <em>Deduktion und Logisches Programmieren</em>,
     Research Report 17-95.
(<!WA65><A HREF="http://www.uni-koblenz.de/universitaet/fb4/publications/GelbeReihe/Abstracts/RR-17-95.html">Abstract</A>,
<!WA66><A HREF="http://www.uni-koblenz.de/universitaet/fb4/publications/GelbeReihe/RR-17-95.ps.gz">Report</A>)


<li> <strong>S. Brass, J. Dix</strong>,
     <em>D-WFS: A Confluent Calculus and an Equivalent Characterization</em>,
     Research Report 12-95.
(<!WA67><A HREF="http://www.uni-koblenz.de/universitaet/fb4/publications/GelbeReihe/Abstracts/RR-12-95.html">Abstract</A>,
<!WA68><A HREF="http://www.uni-koblenz.de/universitaet/fb4/publications/GelbeReihe/RR-12-95.ps.gz">Report</A>)


<li> <strong>P. Baumgartner, U. Furbach and F. Stolzenburg</strong>,
     <em>Model Elimination, Logic Programming and Computing Answers</em>,
     Research Report 1-95.
(<!WA69><A HREF="http://www.uni-koblenz.de/universitaet/fb4/publications/GelbeReihe/Abstracts/RR-1-95.html">Abstract</A>,
<!WA70><A HREF="http://www.uni-koblenz.de/universitaet/fb4/publications/GelbeReihe/RR-1-95.ps.gz">Report</A>)

</ul>

<br>



<a NAME="rpro">

<H2>Related Projects</H2>

<br>
<ul>

<li> This project is founded on an on-going DFG funded project on
     <!WA71><a href="http://www.uni-koblenz.de/ag-ki/TheTP/">deduction and
     theory reasoning</a>.
     The proposed disjunctive logic programming
     system is to be based on
     <!WA72><a href="http://www.uni-koblenz.de/ag-ki/Systems/PROTEIN/">PROTEIN</a>,
     a theorem prover developed during the course of the
     <!WA73><a href="http://www.uni-koblenz.de/ag-ki/Deduktion/">deduction project</a>.

<li> For the project on disjunctive logic programming, non-trivial
     case studies in the area of information management are planned,
     and this has been conceived as a different project titled,
     <!WA74><A href="http://www.uni-koblenz.de/ag-ki/IMS/ims-en.html">
      "Deductive Techniques for Information Management Systems."</A>

</ul>

<br>



<a NAME="rlinks">

<h2>Related Links</h2>

<br>
<UL>
<li> <!WA75><a href="http://www.cs.engr.uky.edu/~lpnmr/">LPNMR</a>,
     a special interest
     group on Logic Programming and Non-monotonic Reasoning.

<li> <!WA76><a href="http://laotzu.doc.ic.ac.uk/alp/info-alp.html">ALP</a>,
     home page for The Association of Logic Programming,
     maintained at Imperial College, London.

<li> <!WA77><a href="http://www.comlab.ox.ac.uk/archive/logic-prog.html">
     Logic Programming Section</a> of the World Wide Web (WWW) Virtual Library.

<li> <!WA78><a href="http://www.cs.reading.ac.uk/people/dwc/ai.html">
     Artificial Intelligence Section</a> of the WWW Virtual Library.

<li> <!WA79><a href="http://laotzu.doc.ic.ac.uk/">Logic Programming
     Section</a>
     of the Imperial College, London.
<!--
<li> <!WA80><a href="http://www.uni-koblenz.de/~arvind/.cs.html">CS
     Pointers</a>,
     a list
     of computer science related WWW pages, maintained by
     <!WA81><a href="http://www.uni-koblenz.de/~arvind/">Chandrabose Aravindan.</a>
-->
<li> <!WA82><a href="http://liinwww.ira.uka.de/bibliography/index.html">A
     collection of Computer Science bibliographies</a>, maintained by
     <!WA83><a href="http://liinwww.ira.uka.de/~achilles/">Alf-Christian Achilles</a>
     at the University of Karlsruhe, Germany.

<li> <!WA84><a href="http://www.iao.fhg.de/Library/conferences/">Conference
     announcements</a>, a WWW archive of all announcements posted to the
     usenet newsgroup
     <!WA85><a href="news:news.announce.conferences">news.announce.conferences</a>

<li> <!WA86><a href="http://www.informatik.uni-trier.de/~ley/db/conf/index.l.html">
	Conferences on logic programming</a>, a web page for logic programming
	related conferences, maintained by
	<!WA87><a href="http://www.informatik.uni-trier.de/~ley/addr.html">Michael Ley</a>
	as a part of <!WA88><a href="http://www.informatik.uni-trier.de/~ley/db/index.html">
	bibliography server on databases and logic programming</a>.

</ul>


<br><br><br>

<HR>
<font size=-1>
<ADDRESS>
Maintained by:
<!WA89><A HREF="http://www.uni-koblenz.de/~arvind/index.html">C. Aravindan</A>
<!WA90><A HREF="mailto:arvind@informatik.uni-koblenz.de">
	&lt;arvind@informatik.uni-koblenz.de&gt;</A><BR>
Last modified on: November 12, 1996.<BR>
<!WA91><IMG src="http://www.uni-koblenz.de/userexec/arvind/www/log/log-dlp.svr"
     alt="LOGGING">
</ADDRESS>
</font size>

</BODY>
</HTML>
